$\forall$${\it the\_w}$:World, $e$:E, $t$, ${\it t'}$:$\mathbb{N}$.
\\[0ex]FairFifo
\\[0ex]$\Rightarrow$ isrcv(kind($e$))
\\[0ex]$\Rightarrow$ match(lnk(kind($e$));$t$;time($e$))
\\[0ex]$\Rightarrow$ match(lnk(kind($e$));${\it t'}$;time($e$))
\\[0ex]$\Rightarrow$ $t$ $=$ ${\it t'}$ $\in$ $\mathbb{Z}$